" Manuel Hermenegildo" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005

Manuel Hermenegildo, Daniel Cabeza

Категория: Языкознание

8.64 Mb

#2

Practical aspects of declarative languages: 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005: proceedings

Manuel Hermenegildo, Daniel Cabeza

8.33 Mb

#3

Practical Aspects of Declarative Languages 7 conf

Manuel Hermenegildo, Daniel Cabeza

Категория: Cs_Computer science, CsLn_Lecture notes

2.43 Mb

#4

Functional and Logic Programming, 9 conf., FLOPS 2008

Jacques Garrigue, Manuel Hermenegildo

Категория: Cs_Computer science, CsLn_Lecture notes

4.86 Mb

#5

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Lecture ... Computer Science and General Issues)

Gilles Barthe, Manuel Hermenegildo

4.07 Mb

#6

Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings

Manuel Hermenegildo, Jaan Penjam

4.26 Mb

#7

Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, ... Data Analysis, and Knowledge Orga)

Manuel Hermenegildo, S.Doaitse Swierstra

4.13 Mb

#8

Static Analysis

Manuel Hermenegildo, German Puebla

5.29 Mb